Dongming Wang : rechercher sur Z-Library

Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.13 MB

0 / 0

english, 2007

Automated Practical Reasoning: Algebraic Approaches

Springer Vienna

Année:

1995

Langue:

english

Fichier:

PDF, 5.05 MB

0 / 0

english, 1995

Developments in Strategic Materials and Computational Design V: Ceramic Engineering and Science Proceedings, Volume 35, Issue 8

Wiley-American Ceramic Society

Waltraud M. Kriven, Dongming Zhu, Kyoung Il Moon, Taejin Hwang, Jingyang Wang, Charles A. Lewinsohn, Yanchun Zhou, Andrew L. Gyekenyesi, Michael Halbig

Année:

2015

Langue:

english

Fichier:

PDF, 45.94 MB

0 / 0

english, 2015

Grobner Bases in Symbolic Analysis

De Gruyter

Rosenkranz, Markus, Wang, Dongming, Markus Rosenkranz, Dongming Wang

Année:

2007

Langue:

english

Fichier:

PDF, 3.75 MB

0 / 0

english, 2007

Proceedings of the 41st International Conference on Advanced Ceramics and Composites

Wiley-American Ceramic Society

Jonathan Salem, Jerry C. LaSalvia, Roger Narayan, Dongming Zhu, Surojit Gupta, Jingyang Wang

Année:

2018

Langue:

english

Fichier:

PDF, 12.88 MB

0 / 0

english, 2018

Developments in strategic ceramic materials: a collection of papers presented at the 39th International Conference on Advanced Ceramics and Composites, January 25-30, 2015, Daytona Beach, Florida

Wiley

Fischer, Thomas, Kirihara, Soshu, Kriven, Waltraud M., Wang, Jingyang, Zhu, Dongming

Année:

2015

Langue:

english

Fichier:

PDF, 33.53 MB

0 / 0

english, 2015

Developments in strategic ceramic materials II : a collection of papers presented at the 40th International Conference on Advanced Ceramics and Composites, January 24-29, 2016, Daytona Beach, Florida

Wiley : American Ceramic Society

Costa, Gustavo, Fukushima, Manabu, Gyekenyesi, Andrew L., Kriven, Waltraud M., Wang, Jingyang, Zhou, Yanchun, Zhu, Dongming

Année:

2017

Langue:

english

Fichier:

PDF, 12.51 MB

0 / 0

english, 2017

Elimination Practice: Software Tools and Applications (With CD-Rom)

Année:

2004

Langue:

english

Fichier:

PDF, 10.28 MB

0 / 0

english, 2004

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers

Deepak Kapur (auth.), Dongming Wang (eds.)

Année:

1997

Langue:

english

Fichier:

DJVU, 2.25 MB

0 / 0

english, 1997

Elimination Practice

Imperial College Press

Xiao-Shan Gao, Dongming Wang (eds.)

Année:

2004

Langue:

english

Fichier:

PDF, 9.32 MB

0 / 0

english, 2004

Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)

World Scientific

Année:

2001

Langue:

english

Fichier:

PDF, 14.30 MB

0 / 0

english, 2001

Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

Xiao-Shan Gao, Dongming Wang, Lu Yang (auth.)

Année:

1999

Langue:

english

Fichier:

PDF, 3.32 MB

0 / 0

english, 1999

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 2.43 MB

0 / 0

english, 2001

Symbolic Computation And Education

Année:

2007

Langue:

english

Fichier:

PDF, 5.14 MB

0 / 0

english, 2007

Symbolic Computation And Education

Année:

2007

Langue:

english

Fichier:

PDF, 7.10 MB

0 / 0

english, 2007

Elimination practice: software tools and applications

Année:

2004

Langue:

english

Fichier:

DJVU, 1.54 MB

0 / 0

english, 2004

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 2.81 MB

0 / 0

english, 2006

Elimination practice: software tools and applications

Année:

2004

Langue:

english

Fichier:

DJVU, 1.00 MB

0 / 0

english, 2004

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 2.01 MB

0 / 0

english, 2001

Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I

Qi Wang, Dongming Lu, Hongxin Zhang (auth.), Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 21.15 MB

0 / 0

english, 2010

王国维家事

合肥：安徽人民出版社

王东明著；李秋月整理, Wang Dongming zhu, Li Qiuyue zheng li, 王东明著, 李秋月整理, 李秋月, Li qiu yue, 王东明, Wang dong ming, Li qiu yue, 王东明, 1913- author, Dongming Wang, 王, 东明, 李, 秋月, 王东明女, 1913-

Année:

2013

Langue:

Chinese

Fichier:

PDF, 16.60 MB

0 / 0

Chinese, 2013

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 6.98 MB

0 / 0

english, 2007

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 4.60 MB

0 / 0

english, 2007

Elimination Practice: Software Tools and Applications

Markus Rosenkranz (editor), Dongming Wang (editor)

Année:

2004

Langue:

english

Fichier:

DJVU, 1.89 MB

0 / 0

english, 2004

Gröbner Bases in Symbolic Analysis

De Gruyter

Année:

2007

Langue:

english

Fichier:

PDF, 3.75 MB

0 / 0

english, 2007

福尔摩斯探案

杭州：浙江少年儿童出版社

Année:

2009

Langue:

Chinese

Fichier:

PDF, 5.79 MB

0 / 0

Chinese, 2009

汤姆·索耶历险记

杭州市：浙江少年儿童出版社

Année:

2009

Langue:

Chinese

Fichier:

PDF, 18.75 MB

0 / 0

Chinese, 2009

Differential Equations With Symbolic Computation

Birkhäuser

Année:

2005

Langue:

english

Fichier:

DJVU, 2.98 MB

0 / 0

english, 2005

Differential Equations With Symbolic Computation

Birkhäuser

Springer International Publishing

Année:

2005

Langue:

english

Fichier:

PDF, 9.94 MB

0 / 0

english, 2005

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Jacques Fleuriot, Dongming Wang, Jacques Calmet

Année:

2018

Langue:

english

Fichier:

PDF, 11.22 MB

0 / 0

english, 2018

Symbolic-Numeric Computation

Birkhäuser Basel

Robert M. Corless (auth.), Dongming Wang, Lihong Zhi (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.24 MB

0 / 0

english, 2007

Differential Equations with Symbolic Computation

Birkhäuser Basel

Année:

2005

Langue:

english

Fichier:

PDF, 10.27 MB

0 / 0

english, 2005

Differential Equations with Symbolic Computation

Birkhäuser

Dr. Dongming Wang (auth.)

Année:

2005

Langue:

english

Fichier:

PDF, 10.47 MB

0 / 0

english, 2005

Elimination Methods

Springer-Verlag Wien

Année:

2001

Langue:

english

Fichier:

PDF, 7.41 MB

0 / 0

english, 2001

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 2.70 MB

0 / 0

english, 2006

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 3.01 MB

0 / 0

english, 2006

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 2.62 MB

0 / 0

english, 2006

Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I

Qi Wang, Dongming Lu, Hongxin Zhang (auth.), Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 20.68 MB

0 / 0

english, 2010

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.04 MB

0 / 0

english, 2007

Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

Xiao-Shan Gao, Dongming Wang, Lu Yang (auth.)

Année:

1999

Langue:

english

Fichier:

PDF, 2.80 MB

0 / 0

english, 1999

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers